Cal-20

Context Cal ulus 1

The +CAL Algorithm Language

Algorithms are different from programs and should not be described with programming languages. Until now, the only simple alternative to programming languages has been pseudo-code. Based on the TLA+ specification language, +cal is an algorithm language that is designed to replace pseudocode. A +cal algorithm is automatically translated to a TLA+ specification that can be checked with the TLC mo...

A CAL Wizard

The project is to design and implement a ‘wizard’ with the following functionality to support a traditional CAL learning environment. To continually monitor and collect data on individual and group student performance, to perform statistical analysis, to provide feedback for teachers, to enable students to contribute to the wizard’s experience, and to provide advice to the individual student.

The Lambda Cal

Software Engineering Techniques for CAL

The development of Computer Aided Learning software (CAL) calls for a large scale project if one does not want to limit oneself to lessons of purely personal utility. In our opinion, the development of such software is a team effort. The most common approach in this field is to use authoring languages, imposing a rather rigid framework on their users. As opposed to this approach, we have chosen...